1. .....................
پدیدآورنده : Salomaa, Arto
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Formal language
رده :
QA
267
.
3
.
S24
2. <A> Half-Century of Automata Theory
پدیدآورنده : \ editors, A. Salomaa, D. Wood, S. Yu.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Algebra,جبر, -- Congresses, -- کنگرهها,a04,a04,Machine theory -- Congresses.,نظریه ماشین -- کنگره ها
رده :
E-Book
,
3. Automata languages and Programming: 15th International Colloquium, Tampere, Finland, July 11-15, 1988 Proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages
رده :
QA
267
.
A9228
1988
4. Automata, languages and programming : Fourth Colloquium, University of Turku, Finland, July 18-22, 1977
پدیدآورنده : edited by Arto Salomaa and Magnue Steinby
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
52
5. Automata, languages and programming : Fourth colloquium, University of Turku, Finland, July 18-22, 1977
پدیدآورنده : edited by Arto Salomaa and Magnus Steinby
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
C63
1977
6. Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : Proceedings
پدیدآورنده : Timo Lepisto, Arto Salomaa )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
317
7. Automata-theoretic aspects of formal power series
پدیدآورنده : Salomaa, Arto, 4391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Sequential machine theory,، Formal languages,، Power series
رده :
QA
267
.
5
.
S4S29
1978
8. Chinese remainder theorem :
پدیدآورنده : C. Ding, D. Pei, A. Salomaa.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Coding theory.,Cryptography.
9. Computation and automata
پدیدآورنده : Salomaa, Arto
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
10. Computation and automata
پدیدآورنده : Salomaa, Arto
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Computable functions,، Computational complexity,Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
11. Computation and automata
پدیدآورنده : Salomaa, Arto, 4391-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
12. Cornerstones of undecidability /
پدیدآورنده : Grzegorz Rozenberg and Arto Salomaa
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Decidability (Mathematical logic),Unsolvability (Mathematical logic),équation diophantienne,indécidabilité,Logique,Mathematical logic,récursivité,théorie démonstration
رده :
QA9
.
63
.
R69
1994
13. Current trends in theoretical computer science :
پدیدآورنده : edited by G. Păun, G. Rozenberg, A. Salomaa.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
QA76
.
C874
2001eb
14. Current trends in theoretical computer science : entering the 21st century
پدیدآورنده : edited by G. Paun, G. Rozenberg, A. Salomaa
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science
رده :
QA
76
.
C83
15. Current trends in theoretical computer science : the challenge of the new century
پدیدآورنده : editors, G. Paun, G. Rozenberg, A. Salomaa
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science
رده :
QA
76
.
C832
16. Current trends in theoretical computer science :the challenge of the new century century
پدیدآورنده : editors, G. P aun, G. Rozenberg, A. Salomaa
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Computer science
رده :
QA
76
.
C878
2004
17. DNA computing :
پدیدآورنده : by Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Molecular computers.
18. Developments in language theory : 5th International Conference, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papers
پدیدآورنده : Werner Kuich, Grzegorz Rozenberg, Arto Salomaa )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
2295
19. Duration Calculus :
پدیدآورنده : Wilfried Brauer
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
20. Finite versus infinite :
پدیدآورنده : Cristian S. Calude and Gheorghe Păun [eds.].
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics.,Finite, The.,Infinite.
رده :
QA295
.
C757
2000